TSTP Solution File: ITP291^2 by Nitpick---2016